Modular object-oriented programming with units and mixins
نویسندگان
چکیده
منابع مشابه
Modular Reasoning in Object-Oriented Programming
Difficulties in reasoning about functional correctness and relational properties of object-oriented programs are reviewed. An approach using auxiliary state is briefly described, with emphasis on the author’s work. Some near term challenges are sketched. Formal verification depends on scientific theories of programming, which answer questions such as these: What are good models of computational...
متن کاملMERGING INTERACTIVE , MODULAR , AND OBJECT - ORIENTED PROGRAMMING Sho
Interactive, modular, and object-oriented programming are three important programming paradigms. Interactive programming encourages experimental programming and fast prototyping and is most valuable for solving problems that are not well understood. Modular programming is indispensable for large-scale program development and is also useful for smaller programs. Object-oriented programming featu...
متن کاملInheritance in Object Oriented Datalog : A Modular Logic Programming
Modularity is a special form of logic programming composition that allows incremental development and code reusability. It is natural to be considered as the formal framework to supply semantics to languages of logic programs (such as datalog) when the underlying data model is object oriented. We show here that a) for various interesting forms of inheritance, clean and natural semantics can ind...
متن کاملFunctional Object-Oriented Programming with Object-Gofer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel classes, subtype and implementation inheritance, method redefinition, late binding and self type specialization. The semantics of Object-Gofer is defined by translation into pure Gofer. Although this restricts the de...
متن کاملObject-oriented Reactive Programming is Not Reactive Object-oriented Programming
According to chapter 3 of Abelson & Sussman [1], there are two fundamentally different ways to organise large systems: according to the objects that live in the system, or according to the streams of values that flow through the system. Even though the notions of “object” and “stream” have meanwhile taken many incarnations, the dichotomy still exists in modern programming languages. Marrying re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 1999
ISSN: 0362-1340,1558-1160
DOI: 10.1145/291251.289432